<commit_before><?xml version="1.0" encoding="utf-8" ?>
<SMVConfig
  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  xsi:noNamespaceSchemaLocation="Config.xsd"
>
  
  <Variables>
    <SetVar key="projectFile" value="sources" />
    <SetVar key="smvOutputDir" value="[$workingDir]\smv" />
  </Variables> 

    <Analysis>

    <!--
    <Action name="CreateBPL" nextAction="InstrumentChecks">
      <Path value="[$smvOutputDir]" />
      <Env key="PATH" value="%nullcheckap%\bin\engine\engineq\;%nullcheckap%\bin\engine\engineq\corral;%PATH%" />
      <Command value="slam" arguments="-no_slamcl -Qlimit 3000 2500 -smvThreads 8 -driver -arrays -no_pa 3 -leave_files -smv -no_verif -liFile slam >makeBPL.txt 2>makeBPL.err" />
    </Action>
    -->

    <!--
    <Action name="InstrumentChecks" nextAction="CreateEntryPoints">
      <Path value="[$smvOutputDir]" /> 
      <Env key="PATH" value="%nullcheckap%\bin\engine\;%PATH%" />
      <Command value="propinst" arguments="%nullcheckap%\bin\engine\exampleproperties\useafterfree-razzle.avp build\test.bpl build\test_inst.bpl > inst.txt 2>inst.err" />
    </Action>
    -->    

    <Action name="CreateEntryPoints" nextAction="CheckEntryPoints">
      <Path value="[$smvOutputDir]" /> 
      <Env key="PATH" value="%nullcheckap%\bin\engine\;%PATH%" />
      <!-- <Command value="fastavn" arguments="build\test_inst.bpl /splitFirst /createEntrypointBplsOnly /useEntryPoints  >createep.txt 2>createep.err" /> -->
      <!-- <Command value="fastavn" arguments="build\test_inst.bpl /splitFirst /createEntrypointBplsOnly  /entryPointProc:_ZN2Js15JavascriptArray23EntryPopJavascriptArrayEPNS_13ScriptContextEPS0_ >createep.txt 2>createep.err" /> -->
     <Command value="fastavn" arguments="build\test_inst.bpl /splitFirst /createEntrypointBplsOnly   /entryPointProc:_ZN2Js15JavascriptArray3PopEPNS_13ScriptContextEPv >createep.txt 2>createep.err" /> 
    </Action>
    
<!--    <Action name="CheckEntryPoints" nextAction="MergeResults"  executeOn="cloud" > -->
    <Action name="CheckEntryPoints" nextAction="MergeResults"   >
      <Path value="[$epDir]" />
      <Env key="nullcheckap" value="%smv%\analysisplugins\av" />
      <Env key="PATH" value="%nullcheckap%\bin\engine\;%PATH%" />
      <!-- <Command value="avharnessinstrumentation" arguments="pruneSlice.bpl hinst.bpl /useEntryPoints /entryPointProc:[$epDirName] /unknownProc:malloc /unknownProc:$alloc /killAfter:1000  > avh.txt 2> avh.err" /> -->
      <!-- File name truncation changes the name of the directory --> 
      <Command value="avharnessinstrumentation" arguments="pruneSlice.bpl hinst.bpl  /useEntryPoints /unknownProc:malloc /unknownProc:$alloc /killAfter:1000  > avh.txt 2> avh.err" /> 
      <Command value="angelicverifiernull" arguments="hinst.bpl /sdv /blockOnFreeVars /timeoutEE:1000 /timeout:1000 /killAfter:3600  /traceSlicing /noEbasic /EE:ignoreAllAssumes+ /dontGeneralize /dumpResults:results.txt /EE:onlySlicAssumes+ /EE:ignoreAllAssumes- /copt:recursionBound:3 >check.txt 2>check.err" />
      <!-- <Command value="del" arguments="/f /q *.bpl" />     -->
    </Action>
    
    <Action name="MergeResults">
      <Path value="[$smvOutputDir]" />
      <Env key="PATH" value="%nullcheckap%\bin\engine\;%PATH%" />
      <Command value="fastavn" arguments="build\test_inst.bpl /mergeEntrypointBugsOnly > merge.txt 2>merge.err" />
    </Action>
  
</Analysis>
</SMVConfig>
<commit_msg>AV: using SMACKInst to remove type synonyms and updating SMV config file<commit_after><?xml version="1.0" encoding="utf-8" ?>
<SMVConfig
  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  xsi:noNamespaceSchemaLocation="Config.xsd"
>
  
  <Variables>
    <SetVar key="projectFile" value="sources" />
    <SetVar key="smvOutputDir" value="[$workingDir]\smv" />
  </Variables> 

    <Analysis>

    <!--
    <Action name="CreateBPL" nextAction="InstrumentChecks">
      <Path value="[$smvOutputDir]" />
      <Env key="PATH" value="%nullcheckap%\bin\engine\engineq\;%nullcheckap%\bin\engine\engineq\corral;%PATH%" />
      <Command value="slam" arguments="-no_slamcl -Qlimit 3000 2500 -smvThreads 8 -driver -arrays -no_pa 3 -leave_files -smv -no_verif -liFile slam >makeBPL.txt 2>makeBPL.err" />
    </Action>
    -->

    <!--
    <Action name="InstrumentChecks" nextAction="CreateEntryPoints">
      <Path value="[$smvOutputDir]" /> 
      <Env key="PATH" value="%nullcheckap%\bin\engine\;%PATH%" />
      <Command value="propinst" arguments="%nullcheckap%\bin\engine\exampleproperties\useafterfree-razzle.avp build\test.bpl build\test_inst.bpl > inst.txt 2>inst.err" />
    </Action>
    -->    


    <Action name="SmackInst" nextAction="CreateEntryPoints">
      <Path value="[$smvOutputDir]" /> 
      <Env key="PATH" value="%nullcheckap%\bin\engine\;%PATH%" />
     <Command value="smackinst" arguments="build\test.bpl build\test_inst.bpl  > smackinst.txt 2>smackinst.err" /> 
    </Action>


    <Action name="CreateEntryPoints" nextAction="CheckEntryPoints">
      <Path value="[$smvOutputDir]" /> 
      <Env key="PATH" value="%nullcheckap%\bin\engine\;%PATH%" />
      <!-- <Command value="fastavn" arguments="build\test_inst.bpl /splitFirst /createEntrypointBplsOnly /useEntryPoints  >createep.txt 2>createep.err" /> -->
      <!-- <Command value="fastavn" arguments="build\test_inst.bpl /splitFirst /createEntrypointBplsOnly  /entryPointProc:_ZN2Js15JavascriptArray23EntryPopJavascriptArrayEPNS_13ScriptContextEPS0_ >createep.txt 2>createep.err" /> -->
     <Command value="fastavn" arguments="build\test_inst.bpl /splitFirst /createEntrypointBplsOnly   /entryPointProc:_ZN2Js15JavascriptArray3PopEPNS_13ScriptContextEPv >createep.txt 2>createep.err" /> 
    </Action>
    
<!--    <Action name="CheckEntryPoints" nextAction="MergeResults"  executeOn="cloud" > -->
    <Action name="CheckEntryPoints" nextAction="MergeResults"   >
      <Path value="[$epDir]" />
      <Env key="nullcheckap" value="%smv%\analysisplugins\av" />
      <Env key="PATH" value="%nullcheckap%\bin\engine\;%PATH%" />
      <!-- <Command value="avharnessinstrumentation" arguments="pruneSlice.bpl hinst.bpl /useEntryPoints /entryPointProc:[$epDirName] /unknownProc:malloc /unknownProc:$alloc /killAfter:1000  > avh.txt 2> avh.err" /> -->
      <!-- File name truncation changes the name of the directory --> 
      <Command value="avharnessinstrumentation" arguments="pruneSlice.bpl hinst.bpl  /useEntryPoints /unknownProc:malloc /unknownProc:$alloc /killAfter:1000  > avh.txt 2> avh.err" /> 
      <Command value="angelicverifiernull" arguments="hinst.bpl /sdv /blockOnFreeVars /timeoutEE:1000 /timeout:1000 /killAfter:3600  /traceSlicing /noEbasic /EE:ignoreAllAssumes+ /dontGeneralize /dumpResults:results.txt /EE:onlySlicAssumes+ /EE:ignoreAllAssumes- /copt:recursionBound:3 >check.txt 2>check.err" />
      <!-- <Command value="del" arguments="/f /q *.bpl" />     -->
    </Action>
    
    <Action name="MergeResults">
      <Path value="[$smvOutputDir]" />
      <Env key="PATH" value="%nullcheckap%\bin\engine\;%PATH%" />
      <Command value="fastavn" arguments="build\test_inst.bpl /mergeEntrypointBugsOnly > merge.txt 2>merge.err" />
    </Action>
  
</Analysis>
</SMVConfig>

{'fraction_non_alphanumeric': 0.164004999305652, 'fraction_numerical': 0.01735870018053048, 'mean_word_length': 4.125978647686833, 'pattern_counts': {'":': 0, '<': 106, '<?xml version=': 2, '>': 144, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 4}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '4158756', 'n_tokens_mistral': 2576, 'n_tokens_neox': 2381, 'n_words': 384}