minor fix

Lawliar · Jul 11, 2024 · 9730bd2 · 9730bd2
1 parent c7108b4
commit 9730bd2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -90,5 +90,5 @@ RUN cmake  \
         -DCO3_32BIT=OFF\
         .. && make
 WORKDIR /CO3_SOURCE/sym_runtime/CROMU_00001
-COPY ./sym_runtime/CROMU_00001/pov/first1K.xml.bin2 /CO3_SOURCE/sym_runtime/CROMU_00001/intermediate_results 
-run touch /CO3_SOURCE/sym_runtime/CROMU_00001/intermediate_results/fileUSB.bin
+COPY ./sym_runtime/CROMU_00001/pov/first1K.xml.bin2 /CO3_SOURCE/sym_runtime/CROMU_00001/intermediate_results/concreteInputs.bin
+RUN touch /CO3_SOURCE/sym_runtime/CROMU_00001/intermediate_results/fileUSB.bin