Add unit tests

This commit is contained in:
Joe Farebrother
2024-07-23 10:08:21 +01:00
parent b28d79960b
commit 93f70b3ad9
4 changed files with 32 additions and 1 deletions

View File

@@ -38,7 +38,7 @@ predicate hasAlert(Http::Server::CookieWrite cookie, string alert) {
or
numProblems = 2 and
alert =
strictconcat(string prob, int idx | hasProblem(cookie, prob, idx) | " and ", prob order by idx)
strictconcat(string prob, int idx | hasProblem(cookie, prob, idx) | prob, " and " order by idx)
+ " attributes"
or
numProblems = 3 and