more automatic tests from src