Skip to content
Snippets Groups Projects
Commit 8827f4fc authored by Satya Prakash Nayak's avatar Satya Prakash Nayak
Browse files

updated stack.yaml and added MO

parent 8737ae56
No related branches found
No related tags found
No related merge requests found
......@@ -18,8 +18,8 @@ RUN wget -qO- https://get.haskellstack.org/ | sh
# These commands copy your files into the specified directory in the image
# and set that as the working location
COPY . home/tool
WORKDIR /home/tool
COPY . tool
WORKDIR /tool
# Build the pestel executable inside pestel folder
RUN cd pestel && make && cd ..
......@@ -37,4 +37,6 @@ RUN opam install dune
RUN cd muval && eval $(opam env) && opam install . --deps-only --confirm-level=yes && cd ..
RUN cd muval && eval $(opam env) && dune build main.exe && cd ..
LABEL Name=rpg-stela Version=1.0
......@@ -31,21 +31,27 @@ muval() {
$RPGCONVERT muclp < $filename > $hesfile
starttime=`date +%s%N`
starttime=`date +%s%N`
result=`timeout $TIMEOUT systemd-run --scope -p MemoryMax=8G --user \
$BINARY_MV $OPTS_MV $hesfile 2>> $LOGFILE_MV`
endtime=`date +%s%N`
endtime=`date +%s%N`
local elapsed_time=$(echo "scale=2; ($endtime - $starttime) / 1000000000" | bc)
echo "Runtime: $elapsed_time s" >> $OUTFILE_MV
echo "Runtime: $elapsed_time s" >> $OUTFILE_MV
echo "Result: $result" >> $OUTFILE_MV
exit_code=$?
echo "" >> $OUTFILE_MV
echo "" >> $OUTFILE_MV
if (( $(echo "$elapsed_time < $TIMEOUT" | bc -l) )); then
echo "$elapsed_time s"
echo -n ",$elapsed_time" >> $output
if [ $exit_code -eq 0 ]; then
echo "$elapsed_time s"
echo -n ",$elapsed_time" >> $output
else
echo "Out of Memory"
echo -n ",MO" >> $output
fi
else
echo "TIMED OUT"
echo -n ",TO" >> $output
......
resolver: lts-13.17
resolver: lts-22.15
flags: {}
extra-deps:
- ../folhs
......
resolver: lts-13.17
resolver: lts-22.15
flags: {}
extra-deps:
- ../folhs
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment