Feature/new syscall tests cases #306

kpan2034 · 2023-06-09T22:16:57Z

Added tests for the following syscalls:

pipe2
getifaddrs
getppid
mkdir
rmdir
access

rennergade · 2023-06-12T23:14:03Z

We should hook these up to the test suite before we merge them. I'll let the team review the individual tests for now.

justyoyo123

These tests look good to me

tests/test_cases/getppid.c

rennergade · 2023-06-14T19:35:31Z

Also naming the test cases that handle two syscalls so we know that off the bat would be good. IE "access" should be "creat_access"

RusherRG · 2023-07-15T00:04:09Z

tests/test_cases/pipe2.py

+if not (lind_line0[0][-1].isdigit() and lind_line0[1][1].isdigit() \
+    and host_line0[0][-1].isdigit() and host_line0[1][1].isdigit()):
+    print "Nondeterministic lines of an unrecognized format!"
+    exit(-1)


Make sure to end all your test files with a new line.

RusherRG · 2023-07-15T00:04:32Z

tests/test_cases/getifaddrs.py

+    verify(line)
+
+for line in hostoutput:
+    verify(line)


Make sure to end all your test files with a new line.

RusherRG · 2023-07-15T00:04:37Z

tests/test_cases/getppid.c

+    wait(NULL);
+  }
+  return 0;
+}


Make sure to end all your test files with a new line.

RusherRG · 2023-07-15T00:13:05Z

tests/test_cases/pipe2.py

Can you also add checks for the return value of read and write? Both of them should be 3(number of bytes read/write)

that would be good

kuzeyardabulut · 2023-07-15T15:42:18Z

tests/test_cases/getppid.c

+
+  // Get pid of current process
+  pid_t pid = getpid();
+  fflush(stdout);


Why we are using fflush() in here ?

kuzeyardabulut

You should fflush(stdout) after doing printfs.

…est files.

rennergade · 2023-07-16T17:07:15Z

tests/test_cases/pipe2.py

+for line in lines:
+    if not (line[-1] == '3'):
+        print "Incorrect number of bytes written!"
+        exit(-1)


needs newline

rennergade · 2023-07-16T17:07:42Z

tests/test_cases/pipe2.c

+    printf("read(): %s\n", strerror(errno));
+    exit(EXIT_FAILURE);
+  }
+  printf("read() ret: %d\n", ret);


add fflushes

kuzeyardabulut · 2023-07-16T19:29:18Z

tests/test_cases/creat_access.c

+
+  // Cleanup
+  remove(FILE);
+  fflush(stdout);


Do we need this?

kuzeyardabulut · 2023-07-16T19:31:38Z

tests/test_cases/getppid.c

+  pid_t pid = getpid();
+
+  // Fork
+  int f = fork();


I think it would be better to delete such short comment lines.

* add gunicorn py files (#269) Co-authored-by: lind <[email protected]> * epoll test and textfile (#274) * just the test and text file * with .py and slight change to test * fixing .py error Co-authored-by: lind <[email protected]> * add fchmod test to test suite (#275) * add fchmod test to test suite * fixing error message Co-authored-by: lind <[email protected]> * Fix Implicit Declarations warning in tests/test_cases/pread_pwrite.c (#282) * Add test cases for truncate and ftruncate (#283) * Add test case for truncate and ftruncate * Fix grammar mistake in error message * Update dettests.txt * Add fflush(NULL) after every print statement * Add a separate testfile for truncate.c * Add individual testfiles for different test cases * Fix pipepong.c and Add mutex.c (#286) * Fix pipepong.c and Add mutex.c * Fix indentation * Socketpair test (#290) * socketpair test * Added socketpair test in to dettests Co-authored-by: lind <[email protected]> * LAMP Scripts (#292) * setuptools * init * add setup tools * reorg * reorg * pr fix --------- Co-authored-by: lind <[email protected]> * Nacldesc scripts (#289) * update scripts * update scripts * Remove random prints from template.py and forkandopen.py (#295) * Net shutdown test case (#294) * [WIP]Setup threading and sockets * Incorrect version(passes in lind) * Add shutdown in fork test case * Add more comments * Add more comments and update nondet.txt * Add 1sec delay for synchronization and more verbose error messages * Use pthread barrier to sync up client and server in shutdown, socketselect, and socketepoll * Destroy closebarriers and add correctness checking in shutdown.py * small fix to epoll (#297) Co-authored-by: lind <[email protected]> * LAMP application and load scripts (#299) * add flask app and config files * Delete nginx.conf.backup --------- Co-authored-by: lind <[email protected]> * Simple web example (#300) * libffi bootstrap * Pared down webpage, trying to set up python to get ctypes working * Made ctypes compile properly --------- Co-authored-by: lind <[email protected]> * Fixed #301 libfii ctypes segfaulting (#304) * fixed #301 libfii ctypes segfaulting Signed-off-by: lind <[email protected]> * fix #301: update comments and load_python.sh Signed-off-by: lind <[email protected]> --------- Signed-off-by: lind <[email protected]> Co-authored-by: lind <[email protected]> * tests: IPC performance benchmark (#305) * tests: add IPC performance benchmark tests * tests: compilation scripts for IPC performance tests Signed-off-by: lind <[email protected]> * tests: userpipe test src files and compilation for IPC performance tests Signed-off-by: lind <[email protected]> --------- Signed-off-by: lind <[email protected]> * create pull_request_template.md (#309) * Tests of statfs/fstatfs (#312) * Add statfs test * Add fstatfs test * Statfs test file * fstatfs test file * Add to test suite * Update filepath * Update filename * Update * Update * Add new line * Add new line * Add check * Change to dettests * Make statfs/fstatfs work in test suite * Update typo * Update typo * Add new line and remove extra space * Refine format * Test files for mknod/fchdir/poll (#313) * Added Mknod, Fchdir and Poll Tests * Auto Test Done * Update fchdir.c Updated else clauses * Update dettests.txt * Update mknod.c * Update fchdir.c * Update poll.c * Update fchdir.c * Update fchdir.py * Delete mknod.c * Update dettests.txt * Update dettests.txt --------- Co-authored-by: lind <[email protected]> * Feature/new syscall tests cases (#306) * Implementd test for pipe2 syscall. * Implemented test for getifaddrs syscall. * Implemented test for getppid syscall. * Implemented test for mkdir and rmdir syscalls. * Implemented test for access syscall. * Updated getppid test to verify that pids match. * Renamed access test; changed print string. * Moved file name in creat_access test to #define clause. * Renamed rmdir test to mkdir_rmdir; moved dir name to #define clause. * Updated dettests.txt * Added pipe2.py to check pipe2 test output; updated nondet.txt * Added python script to verify getifaddrs; updated nondet.txt * Updated pipe2 output checking; added missing newlines at the end of test files. * Added newline characters at the end of files. * Added fflush after printfs. * Added fflushes. * Add include * Added flock test. (#315) * Added flock test. * Updated the flock test case to verify concurrent shared lock acquisition. * Added newline at end of file. * Fix Compilation Warning for flock.c * Update flock.c * fix: load libffi.so.5 in load_python.sh (#324) Signed-off-by: RusherRG <[email protected]> * Add Shared memory and semaphore tests (#323) * tests: add shared memory and semaphores tests Signed-off-by: RusherRG <[email protected]> * tests: add shared sempahores with multiple cages test Signed-off-by: RusherRG <[email protected]> * tests: add buffer detach and removalin shm sem tests Signed-off-by: RusherRG <[email protected]> * tests: remove prints in shm sem tests Signed-off-by: RusherRG <[email protected]> * tests: update sleeps in shm sem tests Signed-off-by: RusherRG <[email protected]> * tests: fix exits Signed-off-by: RusherRG <[email protected]> * tests: add semaphore fork tests Signed-off-by: RusherRG <[email protected]> * tests: make shm_sem_fork_t a non-deterministic test Signed-off-by: RusherRG <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> * tests: update regex in forkandopen.py (#325) Signed-off-by: RusherRG <[email protected]> * Flask app fix (#330) * fix: flask myproject.py sample app Signed-off-by: RusherRG <[email protected]> * chore: update run_lamp.sh Signed-off-by: RusherRG <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> * Add vscode instruction images (#334) * feat: add fast option to build rustposix in mklind (#335) Signed-off-by: lind <[email protected]> * Adding fdatasync test files and fixing flock warning (#338) Co-authored-by: lind <[email protected]> * Test files for sync_file_range (#340) * Adding fdatasync test files and fixing flock warning * Adding sync_file_range * Update dettests.txt * Update sync_file_range.c * Update sync_file_range.c * Update sync_file_range.c * Update sync_file_range.c --------- Co-authored-by: lind <[email protected]> * signal tests (#332) Co-authored-by: lind <[email protected]> * Uds tests (#333) * tests: uds test files Signed-off-by: RusherRG <[email protected]> * tests: uds tests update Signed-off-by: RusherRG <[email protected]> * chore: update mklind script Signed-off-by: RusherRG <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> Co-authored-by: Nicholas Renner <[email protected]> * Add signal handling implementation document (#351) --------- Signed-off-by: lind <[email protected]> Signed-off-by: RusherRG <[email protected]> Co-authored-by: lind <[email protected]> Co-authored-by: Justin Koe <[email protected]> Co-authored-by: Tian(Maxwell) Yang <[email protected]> Co-authored-by: jesings <[email protected]> Co-authored-by: Devansh Patel <[email protected]> Co-authored-by: Rushang Gajjal <[email protected]> Co-authored-by: Y. W <[email protected]> Co-authored-by: kuzeyardabulut <[email protected]> Co-authored-by: Keyur Panchal <[email protected]> Co-authored-by: Yaxuan-w <[email protected]> Co-authored-by: Mayank Ramnani <[email protected]>

* Implementd test for pipe2 syscall. * Implemented test for getifaddrs syscall. * Implemented test for getppid syscall. * Implemented test for mkdir and rmdir syscalls. * Implemented test for access syscall. * Updated getppid test to verify that pids match. * Renamed access test; changed print string. * Moved file name in creat_access test to #define clause. * Renamed rmdir test to mkdir_rmdir; moved dir name to #define clause. * Updated dettests.txt * Added pipe2.py to check pipe2 test output; updated nondet.txt * Added python script to verify getifaddrs; updated nondet.txt * Updated pipe2 output checking; added missing newlines at the end of test files. * Added newline characters at the end of files. * Added fflush after printfs. * Added fflushes.

* add gunicorn py files (#269) Co-authored-by: lind <[email protected]> * epoll test and textfile (#274) * just the test and text file * with .py and slight change to test * fixing .py error Co-authored-by: lind <[email protected]> * add fchmod test to test suite (#275) * add fchmod test to test suite * fixing error message Co-authored-by: lind <[email protected]> * Add test cases for truncate and ftruncate (#283) * Add test case for truncate and ftruncate * Fix grammar mistake in error message * Update dettests.txt * Add fflush(NULL) after every print statement * Add a separate testfile for truncate.c * Add individual testfiles for different test cases * Fix pipepong.c and Add mutex.c (#286) * Fix pipepong.c and Add mutex.c * Fix indentation * Socketpair test (#290) * socketpair test * Added socketpair test in to dettests Co-authored-by: lind <[email protected]> * LAMP Scripts (#292) * setuptools * init * add setup tools * reorg * reorg * pr fix --------- Co-authored-by: lind <[email protected]> * Remove random prints from template.py and forkandopen.py (#295) * Net shutdown test case (#294) * [WIP]Setup threading and sockets * Incorrect version(passes in lind) * Add shutdown in fork test case * Add more comments * Add more comments and update nondet.txt * Add 1sec delay for synchronization and more verbose error messages * Use pthread barrier to sync up client and server in shutdown, socketselect, and socketepoll * Destroy closebarriers and add correctness checking in shutdown.py * small fix to epoll (#297) Co-authored-by: lind <[email protected]> * LAMP application and load scripts (#299) * add flask app and config files * Delete nginx.conf.backup --------- Co-authored-by: lind <[email protected]> * Simple web example (#300) * libffi bootstrap * Pared down webpage, trying to set up python to get ctypes working * Made ctypes compile properly --------- Co-authored-by: lind <[email protected]> * Fixed #301 libfii ctypes segfaulting (#304) * fixed #301 libfii ctypes segfaulting Signed-off-by: lind <[email protected]> * fix #301: update comments and load_python.sh Signed-off-by: lind <[email protected]> --------- Signed-off-by: lind <[email protected]> Co-authored-by: lind <[email protected]> * Tests of statfs/fstatfs (#312) * Add statfs test * Add fstatfs test * Statfs test file * fstatfs test file * Add to test suite * Update filepath * Update filename * Update * Update * Add new line * Add new line * Add check * Change to dettests * Make statfs/fstatfs work in test suite * Update typo * Update typo * Add new line and remove extra space * Refine format * Test files for mknod/fchdir/poll (#313) * Added Mknod, Fchdir and Poll Tests * Auto Test Done * Update fchdir.c Updated else clauses * Update dettests.txt * Update mknod.c * Update fchdir.c * Update poll.c * Update fchdir.c * Update fchdir.py * Delete mknod.c * Update dettests.txt * Update dettests.txt --------- Co-authored-by: lind <[email protected]> * Feature/new syscall tests cases (#306) * Implementd test for pipe2 syscall. * Implemented test for getifaddrs syscall. * Implemented test for getppid syscall. * Implemented test for mkdir and rmdir syscalls. * Implemented test for access syscall. * Updated getppid test to verify that pids match. * Renamed access test; changed print string. * Moved file name in creat_access test to #define clause. * Renamed rmdir test to mkdir_rmdir; moved dir name to #define clause. * Updated dettests.txt * Added pipe2.py to check pipe2 test output; updated nondet.txt * Added python script to verify getifaddrs; updated nondet.txt * Updated pipe2 output checking; added missing newlines at the end of test files. * Added newline characters at the end of files. * Added fflush after printfs. * Added fflushes. * Add include * Added flock test. (#315) * Added flock test. * Updated the flock test case to verify concurrent shared lock acquisition. * Added newline at end of file. * Fix Compilation Warning for flock.c * Update flock.c * fix: load libffi.so.5 in load_python.sh (#324) Signed-off-by: RusherRG <[email protected]> * Add Shared memory and semaphore tests (#323) * tests: add shared memory and semaphores tests Signed-off-by: RusherRG <[email protected]> * tests: add shared sempahores with multiple cages test Signed-off-by: RusherRG <[email protected]> * tests: add buffer detach and removalin shm sem tests Signed-off-by: RusherRG <[email protected]> * tests: remove prints in shm sem tests Signed-off-by: RusherRG <[email protected]> * tests: update sleeps in shm sem tests Signed-off-by: RusherRG <[email protected]> * tests: fix exits Signed-off-by: RusherRG <[email protected]> * tests: add semaphore fork tests Signed-off-by: RusherRG <[email protected]> * tests: make shm_sem_fork_t a non-deterministic test Signed-off-by: RusherRG <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> * tests: update regex in forkandopen.py (#325) Signed-off-by: RusherRG <[email protected]> * Flask app fix (#330) * fix: flask myproject.py sample app Signed-off-by: RusherRG <[email protected]> * chore: update run_lamp.sh Signed-off-by: RusherRG <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> * Adding fdatasync test files and fixing flock warning (#338) Co-authored-by: lind <[email protected]> * Test files for sync_file_range (#340) * Adding fdatasync test files and fixing flock warning * Adding sync_file_range * Update dettests.txt * Update sync_file_range.c * Update sync_file_range.c * Update sync_file_range.c * Update sync_file_range.c --------- Co-authored-by: lind <[email protected]> * signal tests (#332) Co-authored-by: lind <[email protected]> * Uds tests (#333) * tests: uds test files Signed-off-by: RusherRG <[email protected]> * tests: uds tests update Signed-off-by: RusherRG <[email protected]> * chore: update mklind script Signed-off-by: RusherRG <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> Co-authored-by: Nicholas Renner <[email protected]> * tests: add IPC performance tests (#353) * tests: formatting ipc_performance tests Signed-off-by: RusherRG <[email protected]> * tests: add optimization to ipc performance tests Signed-off-by: lind <[email protected]> * tests: update ipc performance test compile scripts Signed-off-by: lind <[email protected]> * tests: add buffer read write tests Signed-off-by: lind <[email protected]> * tests: add timers to buffer_read_write Signed-off-by: lind <[email protected]> * tests: update buffer read write scripts Signed-off-by: lind <[email protected]> * graphs * graphs * graphs * graphs * graphs * tests: add buffer_read_write times Signed-off-by: lind <[email protected]> * feat: add ping/pong inet test scripts Signed-off-by: lind <[email protected]> * feat: update ping/pong inet test scripts Signed-off-by: lind <[email protected]> * test: remove flamegraphs from buffer_read_write Signed-off-by: lind <[email protected]> * test: remove perf files from inet Signed-off-by: lind <[email protected]> * test: update syscall_ratios with plotting scripts Signed-off-by: lind <[email protected]> * test: update total_runtime with plotting scripts Signed-off-by: lind <[email protected]> * test: update buffer_read_write formatting Signed-off-by: lind <[email protected]> * test: update total_runtime formatting Signed-off-by: lind <[email protected]> * test: add README.md in buffer_read_write Signed-off-by: lind <[email protected]> * test: add README.md in inet Signed-off-by: lind <[email protected]> * test: add README.md for all the tests in ipc_performance_tests Signed-off-by: lind <[email protected]> * tests: remove target/ from ipc_performance_tests/total_runtime/scripts/userpipe Signed-off-by: lind <[email protected]> * tests: remove graphs Signed-off-by: lind <[email protected]> * tests: remove data output files from ipc performance tests Signed-off-by: lind <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> Signed-off-by: lind <[email protected]> Co-authored-by: lind <[email protected]> * tests: unix bash pipelines (#354) * tests: bash pipeline scripts Signed-off-by: RusherRG <[email protected]> * grep perf data Signed-off-by: RusherRG <[email protected]> * tests: chain of cats benchmark Signed-off-by: RusherRG <[email protected]> * tests: add scripts to benchmark coreutils pipelines on native and lind Signed-off-by: RusherRG <[email protected]> * update Signed-off-by: RusherRG <[email protected]> * tests: pipeline_tests cleanup Signed-off-by: RusherRG <[email protected]> * tests: reorganize pipeline-tests Signed-off-by: RusherRG <[email protected]> * tests: change extension of scripts Signed-off-by: lind <[email protected]> * tests: update pipeline_tests scripts Signed-off-by: lind <[email protected]> * tests: remove unnecessary files Signed-off-by: lind <[email protected]> * tests: update cat_bench.py Signed-off-by: lind <[email protected]> * tests: add README.md Signed-off-by: lind <[email protected]> * tests: add plotting scripts to pipeline_tests Signed-off-by: lind <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> Signed-off-by: lind <[email protected]> * tests: lamp stack (#356) * tests: lamp stack pgbench tests Signed-off-by: RusherRG <[email protected]> * tests: lamp stack profiling Signed-off-by: RusherRG <[email protected]> * tests: update lamp stack scripts Signed-off-by: RusherRG <[email protected]> * tests: fix lamp stack postgres queries Signed-off-by: RusherRG <[email protected]> * tests: chmod for lamp stack scripts Signed-off-by: RusherRG <[email protected]> * tests: lamp stack remove create.html Signed-off-by: RusherRG <[email protected]> * tests: native lamp stack updates Signed-off-by: RusherRG <[email protected]> * tests: make scripts executable Signed-off-by: RusherRG <[email protected]> * tests: add prints to pgbench run Signed-off-by: RusherRG <[email protected]> * tests: fixing lamp-stack tests and update sleep times Signed-off-by: lind <[email protected]> * tests: update nginx configuration Signed-off-by: lind <[email protected]> * tests: reformatting lamp stack tests Signed-off-by: lind <[email protected]> * tests: reformatting lamp stack tests Signed-off-by: lind <[email protected]> * tests: adding -O3 flag to postgres bootstrap_nacl Signed-off-by: lind <[email protected]> * tests: adding scripts for no postgres versions Signed-off-by: lind <[email protected]> * tests: update pgbench and profiling scripts Signed-off-by: lind <[email protected]> * tests: add no-flask test scripts Signed-off-by: lind <[email protected]> * tests: update no-flask test times Signed-off-by: lind <[email protected]> * tests: update flask app to restructure the data generation Signed-off-by: lind <[email protected]> * fix: nginx platform word size Signed-off-by: lind <[email protected]> * fix: use unix sockets for gunicorn Signed-off-by: lind <[email protected]> * feat: update pgbench scripts Signed-off-by: lind <[email protected]> * feat: add nginx only scripts Signed-off-by: lind <[email protected]> * feat: update lamp_stack scripts and files Signed-off-by: lind <[email protected]> * test: add scripts about select_accept Signed-off-by: lind <[email protected]> * tests: refactor pgbench tests Signed-off-by: lind <[email protected]> * tests: refactor profiling tests Signed-off-by: lind <[email protected]> * tests: refactor profiling select_accpet tests Signed-off-by: lind <[email protected]> * tests: update nginx scripts Signed-off-by: lind <[email protected]> * tests: add README.md and compile.sh to profiling Signed-off-by: lind <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> Signed-off-by: lind <[email protected]> * tests: Unix domain sockets (#355) * tests: formatting ipc_performance tests Signed-off-by: RusherRG <[email protected]> * uds ipc test and scripts * removing prints * push * tests: reorganize uds ipc tests Signed-off-by: RusherRG <[email protected]> * tests: update uds ipc tests to support more than 1GB data Signed-off-by: RusherRG <[email protected]> * tests: uds native test str(total_size) Signed-off-by: RusherRG <[email protected]> * tests: uds plot scripts Signed-off-by: RusherRG <[email protected]> * tests: update uds ipc test Signed-off-by: RusherRG <[email protected]> * tests: adding -O3 to uds tests Signed-off-by: lind <[email protected]> * tests: updating uds script to uds_send_recv Signed-off-by: lind <[email protected]> * chore: remove unnecessary files Signed-off-by: lind <[email protected]> * tests: cleanup uds tests Signed-off-by: lind <[email protected]> * tests: add README.md and plot scripts in uds Signed-off-by: lind <[email protected]> * tests: remove data output files from uds Signed-off-by: lind <[email protected]> --------- Signed-off-by: RusherRG <[email protected]> Signed-off-by: lind <[email protected]> Co-authored-by: lind <[email protected]> * Fix UDS tests after signal merge (#357) * updating submodules to latest commits for Merge into main --------- Signed-off-by: lind <[email protected]> Signed-off-by: RusherRG <[email protected]> Co-authored-by: lind <[email protected]> Co-authored-by: Justin Koe <[email protected]> Co-authored-by: Tian(Maxwell) Yang <[email protected]> Co-authored-by: jesings <[email protected]> Co-authored-by: Devansh Patel <[email protected]> Co-authored-by: Rushang Gajjal <[email protected]> Co-authored-by: Y. W <[email protected]> Co-authored-by: kuzeyardabulut <[email protected]> Co-authored-by: Keyur Panchal <[email protected]> Co-authored-by: Yaxuan-w <[email protected]> Co-authored-by: Mayank Ramnani <[email protected]> Co-authored-by: Yashaswi Makula <[email protected]>

kpan2034 mentioned this pull request Jun 9, 2023

Add Tests for Syscalls w/o Them #302

Closed

rennergade requested review from rennergade, jesings, RusherRG, Yaxuan-w, yizhuoliang, justyoyo123 and kuzeyardabulut June 12, 2023 16:18

justyoyo123 approved these changes Jun 13, 2023

View reviewed changes

RusherRG suggested changes Jun 14, 2023

View reviewed changes

tests/test_cases/getppid.c Show resolved Hide resolved

kpan2034 and others added 12 commits July 14, 2023 19:38

Implementd test for pipe2 syscall.

328c8e1

Implemented test for getifaddrs syscall.

4e723ce

Implemented test for getppid syscall.

a56194d

Implemented test for mkdir and rmdir syscalls.

28fd090

Implemented test for access syscall.

4b679c2

Updated getppid test to verify that pids match.

0069c96

Renamed access test; changed print string.

9d59f13

Moved file name in creat_access test to #define clause.

b85bf62

Renamed rmdir test to mkdir_rmdir; moved dir name to #define clause.

12e7e39

Updated dettests.txt

5ea25da

Added pipe2.py to check pipe2 test output; updated nondet.txt

f88079b

Added python script to verify getifaddrs; updated nondet.txt

00f0454

kpan2034 force-pushed the feature/new-syscall-tests-cases branch from c53bf02 to 00f0454 Compare July 14, 2023 23:39

RusherRG suggested changes Jul 15, 2023

View reviewed changes

kuzeyardabulut reviewed Jul 15, 2023

View reviewed changes

kuzeyardabulut suggested changes Jul 15, 2023

View reviewed changes

Updated pipe2 output checking; added missing newlines at the end of t…

7662683

…est files.

rennergade reviewed Jul 16, 2023

View reviewed changes

kpan2034 and others added 4 commits July 16, 2023 14:28

Added newline characters at the end of files.

0650925

Added fflush after printfs.

91c4a7f

Added fflushes.

f1ec13c

Merge branch 'develop' into feature/new-syscall-tests-cases

77c1d24

kuzeyardabulut suggested changes Jul 16, 2023

View reviewed changes

rennergade merged commit fc96024 into develop Jul 16, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Feature/new syscall tests cases #306

Feature/new syscall tests cases #306

kpan2034 commented Jun 9, 2023

rennergade commented Jun 12, 2023

justyoyo123 left a comment

rennergade commented Jun 14, 2023

RusherRG Jul 15, 2023

RusherRG Jul 15, 2023

RusherRG Jul 15, 2023

RusherRG Jul 15, 2023

rennergade Jul 16, 2023

kuzeyardabulut Jul 15, 2023

kuzeyardabulut left a comment

rennergade Jul 16, 2023

rennergade Jul 16, 2023

kuzeyardabulut Jul 16, 2023

kuzeyardabulut Jul 16, 2023

Feature/new syscall tests cases #306

Feature/new syscall tests cases #306

Conversation

kpan2034 commented Jun 9, 2023

rennergade commented Jun 12, 2023

justyoyo123 left a comment

Choose a reason for hiding this comment

rennergade commented Jun 14, 2023

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

kuzeyardabulut left a comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment

Choose a reason for hiding this comment