Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Mon, 27 Jan 2014 21:58:12 +0100] rev 55361
ad 967c8a1eb6b1 (6): preparation
commented out tests which require ptyps to be computed in a certain sequence
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Mon, 27 Jan 2014 21:51:10 +0100] rev 55360
ad 967c8a1eb6b1 (2): fixed future version of 'fun get_ptyps'
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Mon, 27 Jan 2014 21:49:27 +0100] rev 55359
cleanup, naming: 'KEStore_Elems' in Tests now 'Test_KEStore_Elems', 'store_pbts' now 'add_pbts'
Walther Neuper <neuper@ist.tugraz.at> [Mon, 27 Jan 2014 13:40:36 +0100] rev 55358
test of access
Walther Neuper <neuper@ist.tugraz.at> [Mon, 27 Jan 2014 11:09:57 +0100] rev 55357
ad 967c8a1eb6b1 (2b): add functions accessing Theory_Data in parallel to those accessing "ptyps = Unsynchronized.ref"
ptyps is a tree and thus requires additional auxiliary functions.
get_ptyps shall be removed again.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 27 Jan 2014 08:09:29 +0100] rev 55356
restored tests on ptyps deleted in f0c78a1e9f85
the respective test setup is fragile (expects ptyps as fixed)
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Sun, 26 Jan 2014 01:37:36 +0100] rev 55355
ad 967c8a1eb6b1 (2b): for 'ptyps' add functions accessing Theory_Data in parallel to old ones for 'Unsynchronized.ref' in 'test' folder.
Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> [Sat, 25 Jan 2014 21:06:58 +0100] rev 55354
ad 967c8a1eb6b1 (1b): access to \!ptyps further restricted
Walther Neuper <neuper@ist.tugraz.at> [Fri, 24 Jan 2014 18:03:27 +0100] rev 55353
deleted valuable tests on ptyps
The tests rely on
# val intermediate_ptyps = !ptyps;
# ptyps:= ..simplified testdata..
# ...tests...
# ptyps:= intermediate_ptyps;
This is not possible anymore due to monotonicity of Theory_Data.
Walther Neuper <neuper@ist.tugraz.at> [Fri, 24 Jan 2014 17:55:39 +0100] rev 55352
deleted tests concerning "detail"s within a rule set
"detail" is discontinued and the test rely on
# val intermediate_ptyps = !ptyps;
# ptyps:= ..simplified testdata..
# ...tests...
# ptyps:= intermediate_ptyps;
This is not possible anymore due to monotonicity of Theory_Data.