Method test_10

src/examples/java/test/Test.java:248–262

()

	}

	static void test_10() {
		System.out.print("test 10...");
		String t10 = "t";
		try {
			boolean b = Query.hasSolution(t10);
			System.out.println(t10 + " failed:");
			System.out.println("\tExpected: PrologException");
			System.out.println("\tGot: " + b);
			// System.exit(1);
		} catch (PrologException e) {
			System.out.println("passed");
		} catch (Exception e) {
			System.out.println("wrong exception class thrown");
		}
	}

	static void test_11() {
		System.out.print("test 11...");