andrewbwogi
andrewbwogi
Hi @danglotb, I'll look into this.
Hi @danglotb, if I understand you correctly, the task is to create a budget mechanism that breaks the amplification loop after a specified amount of time. Do we resume the...
Hi @danglotb, I'll investigate this.
Here's a small update. I've explored assertion generation in [MethodsAssertGenerator.buildTestWithAssert](https://github.com/STAMP-project/dspot/blob/9eaa5251d13fec2171b0141f36eba353f30f246e/dspot/src/main/java/eu/stamp_project/dspot/assertgenerator/MethodsAssertGenerator.java#L140) and [AssertBuilder.buildAssert](https://github.com/STAMP-project/dspot/blob/9eaa5251d13fec2171b0141f36eba353f30f246e/dspot/src/main/java/eu/stamp_project/dspot/assertgenerator/AssertBuilder.java#L34). The first step for me is to make sure that statements containing arrays generate logs. Right now arrays...
Assertion generation for primitive arrays is done. I'm currently working with test cases and thinking about how to handle arrays with components of reference type. I'll make a pull request...
Hello @nashid, `spoon-control-flow` seems too basic for interprocedural analysis. For instance, method calls are represented as single nodes and not full graphs. Analysis tools are few. The central purpose of...
Hi, I'm new to open source development and would like to contribute. Can I work on this issue?
Hello @dallinbeutler, I can take a look.
I think a new goal for a post-compilation phase can be added to Spoon-maven-plugin that uses `spoon-decompiler` to add class files as input resources. In the meantime, have you considered...