MCPcopy Create free account
hub / github.com/SWI-Prolog/packages-jpl / test_0

Method test_0

src/examples/java/test/Test.java:35–43  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

33 }
34
35 static void test_0() {
36 System.out.print("test 0...");
37 String t0 = "consult('test.pl')";
38 if (!Query.hasSolution(t0)) {
39 System.out.println(t0 + " failed");
40 // System.exit(1);
41 }
42 System.out.println("passed");
43 }
44
45 static Term a = new Atom("a");
46 static Term b = new Atom("b");

Callers 1

run_testsMethod · 0.95

Calls 1

hasSolutionMethod · 0.95

Tested by

no test coverage detected