From 653e5a5e9d38da37e0697e1f19c4e80ded2cd01b Mon Sep 17 00:00:00 2001 From: Agustina Aldasoro Date: Tue, 28 Jan 2025 00:28:59 -0300 Subject: [PATCH] Add test for empty where --- .../rest/h2/z3solver/Z3SolverTypesRest.java | 26 +++++++++---------- .../spring/h2/z3solver/Z3SolverEMTest.java | 4 +-- 2 files changed, 15 insertions(+), 15 deletions(-) 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);