-
Sylvain Dailler authored
Modify ce-bench to execute on only one file. Removed example cvc4-models. Add model_projection for mach.int.Bounded_int.
9e08f295
Modify ce-bench to execute on only one file. Removed example cvc4-models. Add model_projection for mach.int.Bounded_int.