Xudong Sun

Hi, @danielhelfand @joe-kimmel-vmw Thanks for your interest in Sieve. We are currently working on porting and testing the kapp-controller using Sieve. One necessary step in porting is to build the...

Hi @joe-kimmel-vmw Thanks for the reply. I tried the command and I think I managed to build the image. After the command succeeded I listed all the docker images: ```...

BTW, is it possible to specify the tag of the controller image when using the above command to build? I assume the `kbld` is the controller image the long tag...

Hi @joe-kimmel-vmw , thanks for your help and sorry for the late response. We have ported the kapp controller with Sieve, but unfortunately the current version of Sieve cannot test...

@kosyd Thank you so much for writing the issue! And sorry for the late reply. Although so far we have been testing each custom controller separately, there is actually nothing...

> @laphets this is why I think the test cases, CRD/manifests and workloads should absolutely /not/ be part of Sieve like it is right now. Developers should be able to...

> > In that case, we also need to update all the workload’s config files > > So, I guess the fundamental issue is the manual effort one needs to...

@kosyd Thank you so much for describing the example! And yes checking safety property is a very important feature that we are implementing. To check safety properties, Sieve automatically instruments...

Hello @kosyd Sorry for the late response. Sieve currently implements customized safety checker that allows users to specify any safety property that checks any resources throughout the testing procedure. You...

Hi @robbie-demuth , thank you for your interest in Sieve! For the mask.json issue, could you check whether Sieve continues running after reporting this error and generates a mask.json in...