Skip to content

Commit 00f386f

Browse files
whitneywhtsangetiotto
authored andcommitted
Remove XFAIL from gettimeofday.c (#19)
Signed-off-by: Tsang, Whitney <whitney.tsang@intel.com>
1 parent aa424bb commit 00f386f

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

polygeist/tools/cgeist/Test/Verification/gettimeofday.c

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,5 @@
11
// RUN: cgeist %s %stdinclude --function=alloc -S | FileCheck %s
22

3-
// XFAIL: *
4-
53
#include <time.h>
64
#include <sys/time.h>
75
double alloc() {

0 commit comments

Comments
 (0)