uikit0 / bmin Goto Github PK

What steps will reproduce the problem?
1. run bmin
2. Open the attached file (this file was saved from a bmin session from save as 
menu).
3. you'll see errors: "PLA 6:0: is Invalid term format."

What is the expected output? What do you see instead?
- The expected one is the function and it's minimal boolean one.

What version of the product are you using? On what operating system?
- bmin-1.0.1 on Gentoo linux x86_64

Please provide any additional information below.
- After removing the asterisk ('*') of lines after '.p', bmin works as expected.

What steps will reproduce the problem?
1. Running, "./configure"
2. Typed 'ls' to see Makefile available
3. Makefile have not been created.

What is the expected output? What do you see instead?
The expected output is to have Makefile ready for install.

What version of the product are you using? On what operating system?
Tested on version 1.0.1

Operating System:
Linux D0F 2.6.35-23-generic #41-Ubuntu SMP Wed Nov 24 10:18:49 UTC 2010 i686 
athlon i386 GNU/Linux

Please provide any additional information below.
The solution is to fix configure file for actual installation.

Laptop with XP Pro SP3, after fresh download and installation the program 
crashes on startup.  Used Windows binary hosted here.

If you need a dump or stack trace, let me know.