Commit Graph

2 Commits (c3524d33d034ebdb0459a6f9b4edcf5717c9d6f8)

Author SHA1 Message Date
Sébastien Villemot c3524d33d0
Testsuite: replace “simul” by “perfect_foresight_setup” + “perfect_foresight_solver” 2023-02-06 15:42:34 -05:00
Houtan Bastani c6a330ff7d add xfail test for all_values_required 2012-11-07 18:13:42 +01:00