[SMT-LIB] Problems with benchmarks.

Clark Barrett barrett at cs.nyu.edu
Mon Oct 30 14:10:03 EST 2006


The problem has been fixed.  Thanks for letting us know.

-Clark

> 
> Hello all,
> 
> I've been checking the latest benchmarks and 3 of them do not seem to
> adhere to the standard (version 1.2).
> AUFLIA/misc/set1.smt
> AUFLIA/misc/set2.smt
> AUFLIA/misc/set3.smt
> 
> The problem is always the same. The benchmark names contain the
> character '-' which is not allowed in identifiers (simple or indexed).
> So probably they should be updated so that '-' becomes a '_'. Right?
> 
> Regards,
> 
> -- 
> Paulo Jorge Matos - pocm at soton.ac.uk
> http://www.personal.soton.ac.uk/pocm
> PhD Student @ ECS
> University of Southampton, UK
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
> 



More information about the SMT-LIB mailing list