llreve icon indicating copy to clipboard operation
llreve copied to clipboard

Published 20 hours ago • verified publisher icon mattulbrich

trace example fails with missing lua.h header

Open def- opened this issue 2 years ago • 0 comments

Trace example fails on https://formal.kastel.kit.edu/projects/improve/reve/?ex=redis%2Ftrace with missing header:

/tmp/prog110123-1566.c:1:10: fatal error: 'lua.h' file not found
#include <lua.h>
         ^~~~~~~
1 error generated.
ERROR: Couldn’t execute action

def- avatar Jun 22 '22 10:06 def-