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..45cb57d243 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 @@ -48,21 +48,21 @@ public ResponseEntity getId1() { } } -// @GetMapping("/products-2/{id}") -// public ResponseEntity getIdNamePrice(@PathVariable("id") Long id) { -// try { -// Query query = em.createNativeQuery("SELECT * FROM products WHERE id = $id" + id); -// List data = query.getResultList(); -// -// if (data.isEmpty()) { -// return ResponseEntity.status(400).build(); -// } else { -// return ResponseEntity.status(200).build(); -// } -// } catch (Exception e) { -// return ResponseEntity.status(400).build(); -// } -// } + @GetMapping("/products-2/{id}") + public ResponseEntity getIdNamePrice(@PathVariable("id") Long id) { + try { + Query query = em.createNativeQuery("SELECT * FROM products WHERE id = $id" + id); + List data = query.getResultList(); + + if (data.isEmpty()) { + return ResponseEntity.status(400).build(); + } else { + return ResponseEntity.status(200).build(); + } + } catch (Exception e) { + return ResponseEntity.status(400).build(); + } + } @GetMapping("/products-3") public ResponseEntity getProductsWithName() { 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..1e332bff67 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 @@ -44,8 +44,8 @@ public void testRunEM() throws Throwable { assertHasAtLeastOne(solution, HttpVerb.GET, 200, "/api/h2/z3solver/products-1", null); // TODO: This is currently not supported - // assertHasAtLeastOne(solution, HttpVerb.GET, 400, "/api/h2/z3solver/products-2/{id}", null); - // assertHasAtLeastOne(solution, HttpVerb.GET, 200, "/api/h2/z3solver/products-2/{id}", null); + assertHasAtLeastOne(solution, HttpVerb.GET, 400, "/api/h2/z3solver/products-2/{id}", null); + assertHasAtLeastOne(solution, HttpVerb.GET, 200, "/api/h2/z3solver/products-2/{id}", null); assertHasAtLeastOne(solution, HttpVerb.GET, 400, "/api/h2/z3solver/products-3", null); assertHasAtLeastOne(solution, HttpVerb.GET, 200, "/api/h2/z3solver/products-3", null);