Bo Yang wrote:
> On Thu, May 29, 2008 at 10:19 AM, Taras Glek <[EMAIL PROTECTED] 
> <mailto:[EMAIL PROTECTED]>> wrote:
>
>     byang wrote:
>
>         Hi,
>             I have just build a mingw cross compiler with
>         dehydra/treehydra
>         plugin patch on my linux laptop. And I use the same
>         gcc_dehydra.so and
>         gcc_treehydra.so file with the cross compiler as the native gcc
>         compiler.
>
>             For making sure it is a workable one, I try to run the tests
>         coming with dehydra source code. And I change the
>         dehydra/config.mk <http://config.mk>,
>         to change
>
>         GCCBUILDDIR=/media/mozilla/Dehydra/gcc-dehydra/gcc-mingw
>
>         make dehydra use the cross compiler I have just build. And
>         then, I run
>         the thest
>
>         make check_all
>
>         The result is 38 tests are all passed. And I think it is a
>         workable
>         dehyra cross compiler. Could you please tell me whether I am
>         right?
>
>     If tests pass, then it's working.
>
>
> En, thank you!
>
> And after I update to the trunk of dehydra, I recompile and run the 
> test again. I find there are four failed tests. And they are
> test_locks_bad1.js
> test_locks_bad2.js
> test_locks_bad3.js
> test_locks_bad4.js
>
> After some insight into the js code, I find indeed they are passed. I 
> mean, the four script report error just means the scripts are all 
> right. Am I right?
yes these run as part of make check_treehydra. They test with buggy 
source code in locks_bad*.cc


Taras
_______________________________________________
Dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis

Reply via email to