Not the expected output

[tamarit]

Hi,

I'm trying the tool, using exactly the same examples and with the same steps than the video in the tool main page, and I'm not getting the expected output. Instead, what I'm getting is this:

1> smother:compile("test/abiftest.erl").
Making "/var/folders/cw/m1gbz31910gg0711jvsthk7r0000gn/T/abiftest.erl"
{module,abiftest}
2> smother:analyse_to_file(abiftest).
{ok,"abiftest-SMOTHER.html"}
3> abiftest:dv(5,5)
3> .
1.0
4> smother:get_zeros(abiftest).
[]
5> smother:get_nonzeros(abiftest).
[{matched,{{4,4},{4,6}},[]}]
6> smother:get_zeros(abiftest).
[]

Do I'm doing something wrong?

Thanks in advance

[ramsay-t]

Hi,

Thanks for trying Smother.

It looks like I have broken something - I was updating things recently to make records work, but I seem to have stopped that example working. You would think a software testing project would have good tests, wouldn’t you? ;)

I will fix it and let you know as soon as its working.

Ramsay

On 15 Oct 2014, at 17:05, Salvador Tamarit notifications@github.com wrote:

Hi,

I'm trying the tool, using exactly the same examples and with the same steps than the video in the tool main page, and I'm not getting the expected output. Instead, what I'm getting is this:

1> smother:compile("test/abiftest.erl").
Making "/var/folders/cw/m1gbz31910gg0711jvsthk7r0000gn/T/abiftest.erl"
{module,abiftest}
2> smother:analyse_to_file(abiftest).
{ok,"abiftest-SMOTHER.html"}
3> abiftest:dv(5,5)
3> .
1.0
4> smother:get_zeros(abiftest).
[]
5> smother:get_nonzeros(abiftest).
[{matched,{{4,4},{4,6}},[]}]
6> smother:get_zeros(abiftest).

[]

Do I'm doing something wrong?

Thanks in advance

—
Reply to this email directly or view it on GitHub.

[ramsay-t]

Travis-ci says it works now - and has very basic unit tests so I don’t break it again!

I do warn you that its still an active research project, so it may have random things it misses that it should find. That said, do let me know how you get on - especially if you have any interesting cases where you think it should work and it doesn’t!

Ramsay

On 15 Oct 2014, at 17:05, Salvador Tamarit notifications@github.com wrote:

Hi,

I'm trying the tool, using exactly the same examples and with the same steps than the video in the tool main page, and I'm not getting the expected output. Instead, what I'm getting is this:

1> smother:compile("test/abiftest.erl").
Making "/var/folders/cw/m1gbz31910gg0711jvsthk7r0000gn/T/abiftest.erl"
{module,abiftest}
2> smother:analyse_to_file(abiftest).
{ok,"abiftest-SMOTHER.html"}
3> abiftest:dv(5,5)
3> .
1.0
4> smother:get_zeros(abiftest).
[]
5> smother:get_nonzeros(abiftest).
[{matched,{{4,4},{4,6}},[]}]
6> smother:get_zeros(abiftest).

[]

Do I'm doing something wrong?

Thanks in advance

—
Reply to this email directly or view it on GitHub.

[tamarit]

Hi Ramsay,

First of all, thanks you for your quick reply and more thanks for your quick solving.

I’m afraid we don’t have good test cases (yet). Actually, we’re working on a new test case generation technique and your tool might be a good source of inspiration... Anyway, if we get some test cases, we will send them to you.

Thanks again!
Salva