<?xml version="1.0" encoding="UTF-8"?>
<indus:compositeConfiguration xmlns:indus="http://indus.projects.cis.ksu.edu/indus" xmlns:slicer="http://indus.projects.cis.ksu.edu/slicer" indus:activeConfiguration="forward">
    <indus:configurationInfo slicer:slicetype="BACKWARD_SLICE" slicer:sliceForDeadlock="true" slicer:executableSlice="true" indus:name="backward-executable">
        <slicer:interference slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:useOFA="true"/>
        <slicer:divergence slicer:active="true" slicer:interprocedural="true"/>
        <slicer:ready slicer:active="true" slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:rule1="true" slicer:rule2="true" slicer:rule3="true" slicer:rule4="true" slicer:useOFA="true" slicer:useSafeLockAnalysis="true"/>
    </indus:configurationInfo>
    <indus:configurationInfo slicer:slicetype="BACKWARD_SLICE" slicer:sliceForDeadlock="true" slicer:executableSlice="false" indus:name="backward">
        <slicer:interference slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:useOFA="true"/>
        <slicer:divergence slicer:active="true" slicer:interprocedural="true"/>
        <slicer:ready slicer:active="true" slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:rule1="true" slicer:rule2="true" slicer:rule3="true" slicer:rule4="true" slicer:useOFA="true" slicer:useSafeLockAnalysis="true"/>
    </indus:configurationInfo>
    <indus:configurationInfo slicer:slicetype="FORWARD_SLICE" slicer:sliceForDeadlock="true" slicer:executableSlice="false" indus:name="forward">
        <slicer:interference slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:useOFA="true"/>
        <slicer:divergence slicer:active="true" slicer:interprocedural="true"/>
        <slicer:ready slicer:active="true" slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:rule1="true" slicer:rule2="true" slicer:rule3="true" slicer:rule4="true" slicer:useOFA="true" slicer:useSafeLockAnalysis="true"/>
    </indus:configurationInfo>
    <indus:configurationInfo slicer:slicetype="COMPLETE_SLICE" slicer:sliceForDeadlock="true" slicer:executableSlice="true" indus:name="complete">
        <slicer:interference slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:useOFA="true"/>
        <slicer:divergence slicer:active="true" slicer:interprocedural="true"/>
        <slicer:ready slicer:active="true" slicer:natureOfInterThreadAnalysis="SYMBOL_AND_EQUIVCLS_BASED_INFO" slicer:rule1="true" slicer:rule2="true" slicer:rule3="true" slicer:rule4="true" slicer:useOFA="true" slicer:useSafeLockAnalysis="true"/>
    </indus:configurationInfo>
</indus:compositeConfiguration>
