diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2014-03-28 14:59:53 +0100 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-08-11 14:25:59 +0200 |
commit | c580b4d7f4a91432f967d0ada459cd925f604caf (patch) | |
tree | d2e63ed4d4b762239637260aba4baf63524720fa /prolog/sandbox.pl | |
parent | fc98c0412558d9ccbe65e45f32a55a0edf8683ea (diff) |
Improve testing procedure
- only run queries with correct code once
- use msort/2 to implement quicksort/3, used for some tests
- correctly split programs in the presence of =.. operator
Diffstat (limited to 'prolog/sandbox.pl')
-rw-r--r-- | prolog/sandbox.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/prolog/sandbox.pl b/prolog/sandbox.pl index 2ba5af0..a4f7426 100644 --- a/prolog/sandbox.pl +++ b/prolog/sandbox.pl @@ -208,6 +208,7 @@ safe_primitive(var(_)). safe_primitive(nonvar(_)). safe_primitive(integer(_)). safe_primitive(float(_)). +safe_primitive(number(_)). safe_primitive(atom(_)). safe_primitive(compound(_)). safe_primitive(ground(_)). |