feat: test assert

CaCatHead · Oct 6, 2023 · 79c7280 · 79c7280
1 parent 6bb752d
commit 79c7280
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 1 deletion.
diff --git a/fixtures/aplusb/source/assert.cpp b/fixtures/aplusb/source/assert.cpp
@@ -0,0 +1,11 @@
+#include <cassert>
+#include <iostream>
+
+using namespace std;
+
+int main() {
+  int a = 1, b = 1;
+  cin >> a >> b;
+  assert(a == 1 && b == 1);
+  return 0;
+}
diff --git a/tests/aplusb.rs b/tests/aplusb.rs
@@ -1,4 +1,4 @@
-use catj::{run, CatBoxBuilder, CatBoxResult, RestrictedSyscall};
+use catj::{run, CatBoxBuilder, CatBoxResult};
 use log::info;
 use nix::sys::signal::Signal;
 use std::env::current_dir;
@@ -247,3 +247,11 @@ fn it_should_not_run_re2() {
   assert_eq!(*result.status(), None);
   assert_eq!(*result.signal(), Some(Signal::SIGSEGV));
 }
+
+#[test]
+fn it_should_not_run_assert() {
+  common::setup();
+  let result = run_fail_cpp("assert.cpp", 1000, 262144);
+  assert_eq!(*result.status(), None);
+  assert_eq!(*result.signal(), Some(Signal::SIGABRT));
+}