td_simplified_ref: Sanity test

Author: arkocal

tests/regression/00-sanity/01-assert.t

@@ -112,6 +112,18 @@ Test topdown solvers:
     dead: 2
     total lines: 9
 
+  $ goblint --enable warn.deterministic --set solver td_simplified_ref 01-assert.c
+  [Error][Assert] Assertion "fail" will fail. (01-assert.c:12:3-12:25)
+  [Warning][Assert] Assertion "unknown == 4" is unknown. (01-assert.c:11:3-11:33)
+  [Success][Assert] Assertion "success" will succeed (01-assert.c:10:3-10:28)
+  [Warning][Deadcode] Function 'main' does not return
+  [Warning][Deadcode] Function 'main' has dead code:
+    on lines 13..14 (01-assert.c:13-14)
+  [Warning][Deadcode] Logical lines of code (LLoC) summary:
+    live: 7
+    dead: 2
+    total lines: 9
+
 
 Test SLR solvers: