testboard: Changelog

boehmes [Mon, 15 Nov 2010 17:35:57 +0100] rev 40550

trace more solver output before raising an exception due to a non-zero return code (avoids truncating potential counterexamples produced by Z3)

bulwahn [Mon, 15 Nov 2010 17:04:53 +0100] rev 40549

merged

bulwahn [Mon, 15 Nov 2010 13:40:12 +0100] rev 40548

ignoring the constant STR in the predicate compiler

wenzelm [Mon, 15 Nov 2010 17:40:38 +0100] rev 40547

non-executable source files;

wenzelm [Mon, 15 Nov 2010 17:39:23 +0100] rev 40546

eliminated old-style sed in favour of builtin regex matching;

wenzelm [Mon, 15 Nov 2010 17:14:43 +0100] rev 40545

more robust treatment of spaces in file names;

wenzelm [Mon, 15 Nov 2010 15:41:58 +0100] rev 40544

tuned error messages;

wenzelm [Mon, 15 Nov 2010 14:59:53 +0100] rev 40543

merged

haftmann [Mon, 15 Nov 2010 14:59:21 +0100] rev 40542

re-generalized type of option_rel and sum_rel (accident from 2989f9f3aa10)

haftmann [Mon, 15 Nov 2010 14:14:38 +0100] rev 40541

re-generalized type of prod_rel (accident from 2989f9f3aa10)

testboard