Blame · drivers/z3_440_counterexample.drv · 5c92af40b88fe1b0ece90d2c2cc44fad90a5b10b · Why3 / why3 · GitLab

Normal view History Permalink

z3_440_counterexample.drv 100 Bytes

Newer Older

alternative 'incremental' for Z3 and CVC4 4d5e29c6 MARCHE Claude committed May 03, 2018	1 2 3 4 5	`import "z3_440.drv" theory BuiltIn`
New setting for counterexample generation eaba8837 MARCHE Claude committed May 04, 2018	6	`meta "get_counterexmp" ""`
alternative 'incremental' for Z3 and CVC4 4d5e29c6 MARCHE Claude committed May 03, 2018	7 8 9	`meta "meta_incremental" "" end`