test/ic3/def.in


Log

Author Commit Date CI Message
Thomas de Grivel ad6ed9cd 2024-03-23T14:49:15 better definition for double_tuple
Thomas de Grivel 1c4811bd 2024-03-23T05:35:45 fix def
Thomas de Grivel dbdf6fcf 2024-03-22T19:07:49 add tests for def