$+h\dZddlZddlZddlZd dZdZdZdZdZdZ d Z d Z dd Z d Z y)z4Common utilities in testing the modified MutPy fork.Nctjtjz}djt j ||S)z3Generate for the purpose of observing killed mutant)k)string ascii_lettersdigitsjoinrandomchoices)length characterss U/home/xtuchyna/git/gen-test-bench-simulation/reference_data/test_data/rapfd/common.pygenerate_random_stringrs0%% 5J 776>>*7 88ztest_call_count.csvctjjts+t td5}|j ddddyy#1swYyxYw)z7Initialize the counter file with 0 if it doesn't exist.w0N)ospathexists counter_fileopenwritefiles rinitialize_counterrs= 77>>, ' , $ JJsO% $ ( $ $s AAc$ttd5}t|jj }ddddz }ttd5}|j t |dddy#1swYBxYw#1swYyxYw)z:Increment the counter value and write it back to the file.rNr)rrintreadstriprstr)rcounts rincrement_counterr&sk lC DDIIK%%'( ! QJE lC D 3u: !  !  ! s(A:B:BBcttd5}t|jj cdddS#1swYyxYw)z*Read and return the current counter value.rN)rrr!r"r#rs r get_counterr(s1 lC D499;$$&' ! s 'AA cpttd5}|jddddy#1swYyxYw)zReset the counter value to 0.rrN)rrrrs r reset_counterr*#s% lC D 3 ! s,5ctjjtr-tjtt dtdyt dtdy)z%Delete the counter file if it exists.zCounter file 'z' has been deleted.z' does not exist.N)rrrrremoveprintrrdelete_counterr/(sB ww~~l# , |n,?@A |n,=>?rcZtt}|tdzk(r tyy)Nr )r&r(overall_faultsr/)is_rapfd future_counts rlast_test_routiner41s'=L~))*rc2||vrtty)z}Simulate run for mutant number . Detect failure if this mutant is identified from . N) Exceptionr) call_countfault_ids_to_detects rsimulate_test_case_runr99s((.011 r)d)F)__doc__r rrrrr1rr&r(r*r/r4r9r.rrr<sF: 9 %  (  @r