search

sid-agrawal / OSmosis

1 stars 0 forks source link

GPIKV007 passes, but the model extraction fails #67

Open sid-agrawal opened 1 week ago

sid-agrawal commented 1 week ago

Commit: 3de0c122ab1519d9649695c985332e541998d796

cd build-dir
cmake  . -DLibSel4TestPrinterRegex=GPIKV007 -DGPIExtractModel=ON
ninja
simulate

The test GPIKV007 passes, but the model extraction fails with the following error:

---- SQLite tests pass ----
hello-kvstore: Exiting, notifying parent of test result: 0
---- SQLite tests pass ----
hello-kvstore: Exiting, notifying parent of test result: 0
xv6fs_work_handler@fs_server.c:866 xv6fs Server: xv6fs_work_handler: Failed to get blocknos for file, -1.