main_marking3/re_test.sh
changeset 426 b51467741af2
parent 424 daf561a83ba6
child 463 0315d9983cd0
equal deleted inserted replaced
425:957808dcb367 426:b51467741af2
    78     fi
    78     fi
    79 else
    79 else
    80     tsts=$(( 1 ))  
    80     tsts=$(( 1 ))  
    81 fi
    81 fi
    82 
    82 
       
    83 ### make sure datatypes are not tampered with
       
    84 
       
    85 if [ $tsts -eq 0 ]
       
    86 then
       
    87     echo -e "re.scala has case classes for ALTs and SEQs?" >> $out
       
    88 
       
    89     if (scala_assert "re.scala" "re_test0.scala")
       
    90     then
       
    91 	echo -e "  --> passed" >> $out
       
    92 	tsts=$(( 0 ))
       
    93     else	
       
    94 	echo -e "  --> FAIL (make sure the case clases are as given in the template)" >> $out 
       
    95 	tsts=$(( 1 ))
       
    96     fi
       
    97 else
       
    98     tsts=$(( 1 ))   
       
    99 fi
    83 
   100 
    84 
   101 
    85 ### re1 test
   102 ### re1 test
    86 
   103 
    87 if [ $tsts -eq 0 ]
   104 if [ $tsts -eq 0 ]