roohitavaf

rm -rf  POutput/netcoreapp3.1
pc -proj:myProtocol.pproj

#usage: ./run_tests iterations [threshold]
function run_test() {
  pmc POutput/netcoreapp3.1/myProtocol.dll -m $1 -i $2 --coverage activity $3
}

function save_bug() {
  cp POutput/netcoreapp3.1/Output/myProtocol.dll/CoyoteOutput/myProtocol_0_0.schedule "bugs/$1_$(date +"%m-%d-%y-%R").schedule"

roohitavaf

FROM ubuntu:18.04
WORKDIR /usr/src/app
COPY helloworld.sh . 
ENV NAME Mohammad
RUN chmod +x helloworld.sh
CMD ["./helloworld.sh"]