Update of /cvsroot/xsb/xsbtests/attv_tests
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv27892
Modified Files:
test.sh
Added Files:
attvar_assert_regalloc.P attvar_assert_regalloc_old
Log Message:
Testing assert w. register allocation & attributed variables.
Index: test.sh
===================================================================
RCS file: /cvsroot/xsb/xsbtests/attv_tests/test.sh,v
retrieving revision 1.16
retrieving revision 1.17
diff -C2 -d -r1.16 -r1.17
*** test.sh 8 Jan 2009 20:43:48 -0000 1.16
--- test.sh 15 Feb 2013 20:53:58 -0000 1.17
***************
*** 23,26 ****
--- 23,27 ----
../gentest.sh "$XEMU $opts" fd1 "test."
../gentest.sh "$XEMU $opts" general "test."
+ ../gentest.sh "$XEMU $opts" attvar_assert_regalloc "test."
# the following is obsolete (attvs now allowed in subsumptive tables)
--- NEW FILE: attvar_assert_regalloc.P ---
?-
machine:put_attr(V2,aaaa,[=(x,X)]),
assert:assert(
(
abc(qqq(V1, [X], Y, V2, ppp(V1))) :- true, rrr([X,Y])
),
3,
1
).
test :- abc(qqq(V1, [a], b, _, ppp(V1))),writeln(succeeded).
rrr([a,b]).
--- NEW FILE: attvar_assert_regalloc_old ---
succeeded
|