haskell - How to tap into hpc information during execution -

-

consider following use case: have quickcheck test suite consisting of 2 test cases prop_testcase1 , prop_testcase2. using hpc can observe code coverage of test suite.

however, i'd separate results coverage of prop_testcase1 , prop_testcase2 (to further process results). 1 way out run executable several times explicitly specifying test case command line argument , process generated tix file after each run.

yet, prefer hide away logic in library. in reality run more 2 test cases. explicitly re-executing binary each test case seems rather inconvenient. @ same time i'd imagine hpc keeps coverage data in kind of intermediate data structure during program execution.

question: there way recognize program has been compiled hpc symbols , somehow access data hpc generates @ runtime?

i think found way achieve desired effect. required functions provided trace.hpc.reflect module. unfortunately documentation lacking.

nevertheless, here minimal example seems work:

import trace.hpc.reflect  main :: io ()  main =    print (show $ f 5)   tix <- examinetix    print (show tix)   print (show $ f 6)   print (show $ f 7)   tix <- examinetix    print (show tix)   return ()   f x = x*2

compile , run follows:

$ ghc -fhpc main [1 of 1] compiling main             ( main.hs, main.o ) linking main ... $ ./main "10" "tix [tixmodule \"main\" 3889152622 31 [1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1]]" "12" "14" "tix [tixmodule \"main\" 3889152622 31 [3,3,3,3,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1, in1,1,1,1,0,0,0,0,0,1,1]]"

so using can tap coverage data provided hpc while program executing.

if executable compiled without hpc support program still works tix object returned examinetix contains empty list.


Comments

Post a Comment

Popular posts from this blog

c# - Unity IoC Lifetime per HttpRequest for UserStore -

-
i'm trying clean default implementation of accountcontroller.cs comes out of box in new mvc5/owin security implementation. have modified constructor this: private usermanager<applicationuser> usermanager; public accountcontroller(usermanager<applicationuser> usermanager) { this.usermanager = usermanager; } also, have created lifetime manager unity looks this: public class httpcontextlifetimemanager<t> : lifetimemanager, idisposable { private httpcontextbase _context = null; public httpcontextlifetimemanager() { _context = new httpcontextwrapper(httpcontext.current); } public httpcontextlifetimemanager(httpcontextbase context) { if (context == null) throw new argumentnullexception("context"); _context = context; } public void dispose() { this.removevalue(); } public override object get...
Read more

Change the color of an oval at click in Java AWT -

-
i have draw ovals in java, , @ click change color. beginning tried change color after 20 ms, doesn't work. my code is: public class mycomponentnew extends frame { public graphics2d g2d; public mycomponentnew(string title) { super(title); setsize(400, 550); } @override public void paint(graphics g) { this.g2d = (graphics2d) g; this.g2d.setcolor(color.red); this.g2d.filloval(10, 55, 50, 100); } public void changecolor () { this.g2d.setcolor(color.blue); this.g2d.filloval(10, 55, 50, 100); } } and in class main method have: mycomponentnew m; m = new mycomponentnew("fereastra cu baloane"); m.setvisible(true); m.addwindowlistener(new windowadapter() { @override public void windowclosing(windowevent we) { system.exit(0); } }); try { thread.sleep(20); } catch(interruptedexception e) {} m.changecolor(); the color of oval remains red. ...
Read more

I am trying to solve the error message 'incompatible ranks 0 and 1 in assignment' in a fortran 95 program. -

-
i writing program in fortran find velocity of parachuting person in relation time. keep getting error can't fix. new programming , appreciated. the error is v(i+1)=v(i)+[32-((c*v(i)*v(i))/m)]*(h) 1 error: incompatible ranks 0 , 1 in assignment @ (1) and program is program para integer :: real :: v(11) !velocity real :: q !initial velocity real :: h !time step real :: c !drag coefficient real :: m !mass ! gravity equal 32 ft/s^2 write (*,*)'enter time step' read(*,*)h write(*,*)'enter initial velocity' read(*,*)q write(*,*)'enter drag coefficient' read(*,*)c write(*,*)'enter mass' read(*,*)m i=1,10 ! 1 10, 1 being interval. end v(i+1)=v(i)+[32-((c*v(i)*v(i))/m)]*(h) q=v(1) end program you cannot use [] normal parenthesis in expressions. array constructor, [ items ] means array items elements. end do should after line.
Read more