Check-in [db5c306a7f]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
SHA1:db5c306a7fdd2802a4d85a2fb998ef5515a306ca
Date: 2014-10-26 04:02:50
User: kbk
Comment:Add more Datalog tests, and adjust loadscript.tcl.in to allow for running Nagelfar instrumented code while testing.
Tags And Properties
Context
2014-10-26
04:09
[c991aa8ae7] Adjust Datalog tests to cover EQUALITY (user: kbk, tags: trunk)
04:02
[db5c306a7f] Add more Datalog tests, and adjust loadscript.tcl.in to allow for running Nagelfar instrumented code while testing. (user: kbk, tags: trunk)
2014-10-25
18:55
[3e177181c8] datalog: test assertion of a single fact. (user: kbk, tags: trunk)
Changes

Changes to loadscript.tcl.in.

Added tests/datalog.test.