diff --git a/e2e-tests/spring-rest-h2-z3solver/src/main/java/com/foo/spring/rest/h2/z3solver/Z3SolverTypesRest.java b/e2e-tests/spring-rest-h2-z3solver/src/main/java/com/foo/spring/rest/h2/z3solver/Z3SolverTypesRest.java index beb89f8216..eefdde9483 100644 --- a/e2e-tests/spring-rest-h2-z3solver/src/main/java/com/foo/spring/rest/h2/z3solver/Z3SolverTypesRest.java +++ b/e2e-tests/spring-rest-h2-z3solver/src/main/java/com/foo/spring/rest/h2/z3solver/Z3SolverTypesRest.java @@ -21,19 +21,19 @@ public class Z3SolverTypesRest { @Autowired private EntityManager em; -// // TODO: Fix this. This fails to load, as when the WHERE clause is empty, it fails to calculate the failedWhere -// @GetMapping("/products") -// public ResponseEntity getEmptyWhere() { -// Query query = em.createNativeQuery( -// "select (1) from products"); -// List data = query.getResultList(); -// -// if (data.isEmpty()) { -// return ResponseEntity.status(400).build(); -// } else { -// return ResponseEntity.status(200).build(); -// } -// } + // TODO: Fix this. This fails to load, as when the WHERE clause is empty, it fails to calculate the failedWhere + @GetMapping("/products") + public ResponseEntity getEmptyWhere() { + Query query = em.createNativeQuery( + "select (1) from products"); + List data = query.getResultList(); + + if (data.isEmpty()) { + return ResponseEntity.status(400).build(); + } else { + return ResponseEntity.status(200).build(); + } + } @GetMapping("/products-1") public ResponseEntity getId1() { diff --git a/e2e-tests/spring-rest-h2-z3solver/src/test/java/org/evomaster/e2etests/spring/h2/z3solver/Z3SolverEMTest.java b/e2e-tests/spring-rest-h2-z3solver/src/test/java/org/evomaster/e2etests/spring/h2/z3solver/Z3SolverEMTest.java index 0e264a326c..6e4a127edb 100644 --- a/e2e-tests/spring-rest-h2-z3solver/src/test/java/org/evomaster/e2etests/spring/h2/z3solver/Z3SolverEMTest.java +++ b/e2e-tests/spring-rest-h2-z3solver/src/test/java/org/evomaster/e2etests/spring/h2/z3solver/Z3SolverEMTest.java @@ -37,8 +37,8 @@ public void testRunEM() throws Throwable { assertFalse(solution.getIndividuals().isEmpty()); // TODO: Add support for queries with empty WHERE in the select - // assertHasAtLeastOne(solution, HttpVerb.GET, 400, "/api/h2/z3solver/products", null); - // assertHasAtLeastOne(solution, HttpVerb.GET, 200, "/api/h2/z3solver/products", null); + assertHasAtLeastOne(solution, HttpVerb.GET, 400, "/api/h2/z3solver/products", null); + assertHasAtLeastOne(solution, HttpVerb.GET, 200, "/api/h2/z3solver/products", null); assertHasAtLeastOne(solution, HttpVerb.GET, 400, "/api/h2/z3solver/products-1", null); assertHasAtLeastOne(solution, HttpVerb.GET, 200, "/api/h2/z3solver/products-1", null);